w{-}info($w$;$e$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$kindcase(w{-}ekind($w$; $e$); $a$.inl($\langle$w{-}loc($w$; $e$)$,\,$$a$$\rangle$); $l$,${\it tg}$.inr($\langle$$\langle$$l$$,\,$w{-}sender($w$; $e$)$\rangle$$,\,$${\it tg}$$\rangle$) )